Joost-Pieter Katoen (eds.): Z-Library web sitesinde arama yap

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Don't use scam websites

Kitaplar (17)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Foundations of probabilistic programming

Foundations of probabilistic programming

Cambridge University Press

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe (eds.)

Yıl:

2021

Dil:

english

Dosya:

PDF, 4.32 MB

0 / 5.0

english, 2021

2

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.28 MB

0 / 0

english, 2007

3

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

Yıl:

2004

Dil:

english

Dosya:

PDF, 5.22 MB

0 / 0

english, 2004

4

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Yıl:

2005

Dil:

english

Dosya:

PDF, 5.87 MB

0 / 0

english, 2005

5

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

Yıl:

2011

Dil:

english

Dosya:

PDF, 5.82 MB

0 / 0

english, 2011

6

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Yıl:

2011

Dil:

english

Dosya:

PDF, 3.81 MB

0 / 5.0

english, 2011

7

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Yıl:

2005

Dil:

english

Dosya:

PDF, 5.92 MB

0 / 0

english, 2005

8

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

Yıl:

2002

Dil:

english

Dosya:

PDF, 3.37 MB

0 / 0

english, 2002

9

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)

Yıl:

1999

Dil:

english

Dosya:

PDF, 3.58 MB

0 / 0

english, 1999

10

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Yıl:

2001

Dil:

english

Dosya:

PDF, 3.80 MB

5.0 / 5.0

english, 2001

11

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

Yıl:

2002

Dil:

english

Dosya:

PDF, 4.75 MB

0 / 0

english, 2002

12

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

Yıl:

2012

Dil:

english

Dosya:

PDF, 4.66 MB

0 / 0

english, 2012

13

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Yıl:

2011

Dil:

english

Dosya:

PDF, 3.65 MB

0 / 0

english, 2011

14

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Yıl:

2001

Dil:

english

Dosya:

PDF, 6.08 MB

5.0 / 3.0

english, 2001

15

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

Yıl:

2011

Dil:

english

Dosya:

PDF, 3.64 MB

0 / 0

english, 2011

16

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

Yıl:

2012

Dil:

english

Dosya:

PDF, 7.77 MB

0 / 0

english, 2012

17

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

Yıl:

2011

Dil:

english

Dosya:

PDF, 6.16 MB

0 / 0

english, 2011